1. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری
رده :
E-Book
,
2. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
3. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
4. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
5. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
7. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
8. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
9. #Elements of the theory of computation
پدیدآورنده : #Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Machine theory ،Formal languages ،Computational complexity ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
L49
،#
1998
10. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
11. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
12. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
13. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
14. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
15. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
16. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
18. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
19. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
20. Introduction to autmata theory languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: (Semnan)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66
